Evolving theory

Evolving Practice and Theory

Management of Evolving Specifications using Category Theory

Structure is important in large speci cations for understanding, testing and managing change. Category theory has been explored as framework for providing this structure, and has been successfully used to compose speci cations. This work has typically adopted a \correct by construction" approach: components are speci ed, proved correct and then composed together in such a way to preserve their ...

Towards an Evolving Theory of Cyberpower

In the 2006 Quadrennial Defense Review, a request was made to have the Center for Technology and National Security Policy (CTNSP), National Defense University (NDU), develop a theory of cyberpower. It was noted that there was a need to develop a holistic framework that would enable policy makers to address cyber issues in proper perspective. To satisfy that tasking, CTNSP convened five workshop...

Evolving Knowledge in Theory and Applications

Semantics for formal models of probabilistic reasoning rely on probability functions that are defined on the interpretations of the underlying classical logic. When this underlying logic is of relational nature, i. e. a fragment of first-order logic, then the space needed for representing these probability functions explicitly is exponential in both the number of predicates and the number of do...

Evolving Neural Networks for Statistical Decision Theory

Acknowledgements I want to express sincere thanks to my advisor Mgr. Radoslav Harman, PhD. for his careful supervision , stimulating discussions and inspiring ad-vices. I would also like to thank Doc. MUDr. Juraj Pavlásek, DrSc. for introducing me to addressed domain and Nuno Cavalheiro Marques, PhD. for his comments. Finally, I am very grateful to my family and friends for supporting me during...